Reasoning about Hierarchies of Online Program Specialization Systems

نویسندگان

  • John Hatcliff
  • Robert Glück
چکیده

We present the language S Graph n the core of a multi level metaprogramming environment for exploring foundational issues of self applicable online program specialization We illustrate how special purpose S Graph n primitives can be used to obtain an e cient and conceptually simple encoding of programs as data objects The key feature of the encoding scheme is the use of nu merical indices which indicate the number of times that a program piece has been encoded Evaluation of S Graph n is formalized via an operational seman tics This semantics is used to justify the fundamental operations on metavariables special purpose tags for tracking unknown values in self applicable online specialization systems We show how metavariables can be used to construct biased generating extensions without relying on a separate binding time analysis phase

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generalization in Hierarchies of Online Program Specialization Systems

In recent work, we proposed a simple functional language S-graph-n to study metaprogramming aspects of self-applicable online program specialization. The primitives of the language provide support for multiple encodings of programs. An important component of online program specialization is the termination strategy. In this paper we show that such a representation has the great advantage of sim...

متن کامل

Reduction of Language Hierarchies

We study the structure of language hierarchies and their reduction by two forms of metacomputation in order to overcome the time and space complexity of language hierarchies. We show that program specialization and program composition are sufficient to reduce all forms of language hierarchies constructed from interpreters and translators. We argue that the reduction of language hierarchies is a...

متن کامل

A proof system for adaptable class hierarchies

The code base of a software system undergoes changes during its life time. For object-oriented languages, classes are adapted, e.g., to meet new requirements, customize the software to specific user functionalities, or refactor the code to reduce its complexity. However, the adaptation of class hierarchies makes reasoning about program behavior challenging; even classes in the middle of a class...

متن کامل

The Making of a New Medical Specialty: A Policy Analysis of the Development of Emergency Medicine in India

Background Medical specialization is an understudied, yet growing aspect of health systems in low- and middleincome countries (LMICs). In India, medical specialization is incrementally, yet significantly, modifying service delivery, workforce distribution, and financing. However, scarce evidence exists in India and other LMICs regar...

متن کامل

The Specialization Problem and the Completeness of Unfolding

We discuss the problem of specializing a deenite program with respect to sets of positive and negative examples, following BI94]. This problem is very relevant in the eld of inductive learning. First we show that there exist sets of examples that have no correct program, i.e., no program which implies all positive and no negative examples. Hence it only makes sense to talk about specialization ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996